Buy Used and New Grigore Rosu Books

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, ... / Programming and Software Engineering)

by

ISBN 13: 9783540496991

Format: Paperback (263 pages)
Publisher: Springer
Published: 07 Dec 2006

Save for later

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes ... / Programming and Software Engineering)

by

ISBN 13: 9783540799795

Format: Paperback (432 pages)
Publisher: Springer
Published: 15 Jul 2008

Save for later

Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, ... / Programming and Software Engineering)

by

ISBN 13: 9783642307928

Format: Paperback (269 pages)
Publisher: Springer
Published: 31 May 2012

Save for later